workspacesView: dispose _scrollAdjustment in _onDestroy

https://bugzilla.gnome.org/show_bug.cgi?id=640781

diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js
index 5f95a882be7e4f87b5464f5e58beaee83a5e0297..f53db7aea9767e657ae77c367367994b02b32d48 100644 (file)
--- a/js/ui/workspacesView.js
+++ b/js/ui/workspacesView.js
@@ -476,6 +476,7 @@ WorkspacesView.prototype = {
     },
 
     _onDestroy: function() {
+        this._scrollAdjustment.run_dispose();
         Main.overview.disconnect(this._overviewShowingId);
         global.window_manager.disconnect(this._switchWorkspaceNotifyId);
         global.screen.disconnect(this._restackedNotifyId);